proof by mathematical statements